Local state refinement on Elementary Net Systems: an approach based on morphisms

نویسندگان

  • Luca Bernardinello
  • Elisabetta Mangioni
  • Lucia Pomello
چکیده

In the design of concurrent and distributed systems, modularity and refinement are basic conceptual tools. We propose a notion of refinement/abstraction of local states for a basic class of Petri Nets, associated with a new kind of morphisms. The morphisms, from a refined system to an abstract one, associate suitable subnets to abstract local states. The main results concern behavioural properties preserved and reflected by the morphisms. In particular, we focus on the conditions under which reachable markings are preserved or reflected, and the conditions under which a morphism induces a bisimulation between net systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Composition of Elementary Net Systems based on α-morphisms

In the development of distributed systems a central role is played by formal tools supporting various aspects of modularity such as compositionality, refinement and abstraction. One of the main challenges consists in developing methods allowing to derive properties of the composed system from properties of the components. In this context we consider Elementary Net Systems related by morphisms a...

متن کامل

Morphisms on Marked Graphs

Abstract. Many kinds of morphisms on Petri nets have been defined and studied. They can be used as formal techniques supporting refinement/abstraction of models. In this paper we introduce a new notion of morphism on marked graphs, a class of Petri nets used for the representation of systems having deterministic behavior. Such morphisms can indeed be used to represent a form of abstraction on m...

متن کامل

Preserving Liveness with Rule - Based Refinement of Place / Transition Systems

The focus of this paper is to endow step-wise modification of nets with refinement that preserves liveness. Modification of nets uses rules that allow substituting subnets of the left hand side by subnets of the right hand side of the rule. Such rules are then restricted so that the liveness is preserved. Rule-based modification is expressed in terms of spans of morphisms and two pushout constr...

متن کامل

Measuring Socioeconomic Status of Rural Households in Edo State, Nigeria: An Asset-Based Approach

Available data on farmers’ socioeconomic or poverty status have focused on the use of money-metric measure of income and/or expenditure, an approach that has been criticized. An alternative, proposed to assessing households’ welfare has been to use asset indices; unfortunately, there is dearth of such study in Edo state. This study therefore assessed the socioeconomic status (SES) of farming ho...

متن کامل

Modular System Development with Pullbacks

Two, seemingly different modular techniques for concurrent system development are investigated from a categorical perspective. A novel approach is presented in which they turn out to be merely special instances of pullback, a general categorical limit construction. Interestingly, the approach is based on truly concurrent semantics of systems. 1 Mathematical Preliminaries A transition system is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012